From Visual to Logical Representation A GIS-Based Sketching Tool for Reasoning about Plans

Abstract: Multi-modal and heterogeneous logic reasoning is of increasing importance within the AI community. The GIS based ArcView COA Sketcher (ArCS) sketch and translation tool developed under DARPA’s High Performance Knowledge Bases program is an example of an enabling tool towards that goal. Army Course of Action (COA) sketches can be drawn and translated automatically into statements in a formal logic with the tool. The statements are inputs to a geographic reasoner as well as systems reasoning about plans. This paper discusses the design of the sketching tool, and issues in creating an effective correspondence between the visual and logical representations of a COA. Multi-modal and heterogeneous logic reasoning is of increasing importance within the AI community. The GIS based ArcView COA Sketcher (ArCS) sketch and translation tool developed under DARPA’s High Performance Knowledge Bases program is an example of an enabling tool towards that goal. Army Course of Action (COA) sketches can be drawn and translated automatically into statements in a formal logic with the tool. The statements are inputs to a geographic reasoner as well as systems reasoning about plans. This paper discusses the design of the sketching tool, and issues in creating an effective correspondence between the visual and logical representations of a COA.